t : (w => p)a
t